match (), () with
| a, _
| _, a{caret} -> ()
